2.3 Using Deductive Reasoning To Verify Conjectures